prime($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$$a$ $=$ 0 \& $\neg$($a$ $\sim$ 1) \& ($\forall$$b$, $c$:$\mathbb{Z}$. $a$ $\mid$ $b$$\cdot$$c$ $\Rightarrow$ $a$ $\mid$ $b$ $\vee$ $a$ $\mid$ $c$)